Action(${\it dec}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Unit + ($k$:Knd $\times$ (${\it dec}$($k$)))